Перевод: с русского на все языки

со всех языков на русский

problem of verification

См. также в других словарях:

  • Verification — Ver i*fi*ca tion, n. [Cf. F. v[ e]rification.] 1. The act of verifying, or the state of being verified; confirmation; authentication. [1913 Webster] 2. (Law) (a) Confirmation by evidence. (b) A formal phrase used in concluding a plea. [1913… …   The Collaborative International Dictionary of English

  • Verification of an equation — Verification Ver i*fi*ca tion, n. [Cf. F. v[ e]rification.] 1. The act of verifying, or the state of being verified; confirmation; authentication. [1913 Webster] 2. (Law) (a) Confirmation by evidence. (b) A formal phrase used in concluding a plea …   The Collaborative International Dictionary of English

  • Problem of universals — The problem of universals is an ancient problem in metaphysics about whether universals exist. Universals are general or abstract qualities, characteristics, properties, kinds or relations, such as being male/female, solid/liquid/gas or a certain …   Wikipedia

  • verification/verifiability principle —    The central principle of logical positivism, the verification principle states that the meaning of non analytic statements is found in their conditions of verification. On this view, all non analytical statements that do not have verification… …   Christian Philosophy

  • problem —    A situation or question that presents perplexity, or a challenge, a mystery or puzzle which begs to be solved. In art education, assignments are often posed as problems. To students of creativity, finding or formulating a problem is considered …   Glossary of Art Terms

  • Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… …   Wikipedia

  • Gender verification in sports — (also sometimes loosely referred to as sex determination) is the issue of verifying the eligibility of an athlete to compete in a sporting event that is limited to a single gender. The issue arose a number of times in the Olympic games where it… …   Wikipedia

  • Callback verification — Callback verification, also known as callout verification, is a technique used by SMTP software in order to validate e mail addresses. The most common target of verification is the sender address from the message envelope (the address specified… …   Wikipedia

  • Decision problem — A decision problem has only two possible outputs, yes or no (or alternately 1 or 0) on any input. In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes or no answer,… …   Wikipedia

  • Functional verification — Functional verification, in electronic design automation, is the task of verifying that the logic design conforms to specification. In everyday terms, functional verification attempts to answer the question Does this proposed design do what is… …   Wikipedia

  • Asic verification — is today’s most challenging problem for ASIC designers. As chip sizes have skyrocketed and use of IP has increased, the need to fully verify the design functionality has become critical. However, verification is a function of both design size and …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»